7.8 重复特征值

我们以对矩阵 A\mathbf{A} 具有重复特征值的情况的讨论,来结束对具有常系数线性齐次微分方程组的考察:

x=Ax\begin{equation*} \mathbf{x}^{\prime}=\mathbf{A} \mathbf{x} \tag{1} \end{equation*}

回想一下,在第 7.3 节中,我们说过代数重数m2m \geq 2重复特征值可能具有小于 mm几何重数。换句话说,可能存在少于 mm 个与此特征值相关的线性无关的特征向量。以下示例说明了这种可能性。

示例 1

矩阵

A=(1113)(2)\mathbf{A}=\left(\begin{array}{rr} 1 & -1 \tag{2}\\ 1 & 3 \end{array}\right)

特征值特征向量

特征值 rr特征向量 ξ\boldsymbol{\xi} 满足方程 (ArI)ξ=0(\mathbf{A}-r \mathbf{I}) \boldsymbol{\xi}=\mathbf{0},或

(1r113r)(ξ1ξ2)=(00).(3)\left(\begin{array}{cc} 1-r & -1 \tag{3}\\ 1 & 3-r \end{array}\right)\binom{\xi_{1}}{\xi_{2}}=\binom{0}{0} .

特征值方程

det(ArI)=1r113r=r24r+4=(r2)2=0.(4)\operatorname{det}(\mathbf{A}-r \mathbf{I})=\left|\begin{array}{cc} 1-r & -1 \tag{4}\\ 1 & 3-r \end{array}\right|=r^{2}-4 r+4=(r-2)^{2}=0 .

。因此,两个特征值r1=r2=2r_{1}=r_{2}=2;也就是说,特征值 2 具有代数重数 2。

为了确定特征向量,我们必须回到方程 (3) 并使用 r=2r=2。这给出了

(1111)(ξ1ξ2)=(00).(5)\left(\begin{array}{rr} -1 & -1 \tag{5}\\ 1 & 1 \end{array}\right)\binom{\xi_{1}}{\xi_{2}}=\binom{0}{0} .

因此,我们得到单一条件 ξ1+ξ2=0\xi_{1}+\xi_{2}=0,它根据 ξ1\xi_{1} 确定 ξ2\xi_{2},反之亦然。因此,对应于特征值 r=2r=2特征向量

ξ(1)=(11),\begin{equation*} \boldsymbol{\xi}^{(1)}=\binom{1}{-1}, \tag{6} \end{equation*}

或者这个向量的任何非零倍数。观察到只有一个线性无关的特征向量与这个二重特征值相关联。

回到系统 (1),假设 r=ρr=\rho特征方程

det(ArI)=0\begin{equation*} \operatorname{det}(\mathbf{A}-r \mathbf{I})=0 \tag{7} \end{equation*}

mm 重根。然后,ρ\rho矩阵 A\mathbf{A}代数重数mm特征值。在这种情况下,有两种可能性:要么存在 mm 个与特征值 ρ\rho 相对应的线性无关的特征向量,要么像在示例 1 中一样,存在少于 mm线性无关的特征向量

在第一种情况下,令 ξ(1),,ξ(m)\boldsymbol{\xi}^{(1)}, \ldots, \boldsymbol{\xi}^{(m)}mm 个与代数重数mm特征值 ρ\rho 相关的线性无关的特征向量。那么存在 mm线性无关的解 x(1)(t)=ξ(1)eρt,,x(m)(t)=ξ(m)eρt\mathbf{x}^{(1)}(t)=\boldsymbol{\xi}^{(1)} e^{\rho t}, \ldots, \mathbf{x}^{(m)}(t)=\boldsymbol{\xi}^{(m)} e^{\rho t} 满足方程 (1)。因此,在这种情况下,特征值 r=ρr=\rho 是否重复无关紧要;方程 (1) 仍然存在一个形如 ξert\xi e^{r t}基本解集。如果系数矩阵 A\mathbf{A}埃尔米特矩阵(或实对称矩阵),则总是会发生这种情况。

但是,如果系数矩阵不是埃尔米特矩阵,那么可能存在少于 mm 个与代数重数mm特征值 ρ\rho 相对应的独立特征向量,如果是这样,则存在少于 mm 个形如 ξeρt\boldsymbol{\xi} e^{\rho t}方程 (1) 的与该特征值相关联。因此,为了构造方程 (1) 的通解,有必要找到其他形式的。回想一下,当特征方程具有二重根 rr 时,在第 3.4 节中对于线性方程 ay+by+cy=0a y^{\prime \prime}+b y^{\prime}+c y=0 发生了类似的情况。在那种情况下,我们发现了一个指数解 y1(t)=erty_{1}(t)=e^{r t},但第二个独立解的形式为 y2(t)=terty_{2}(t)=t e^{r t}。考虑到这个结果,考虑以下示例

示例 2

找到以下方程组基本解集

x=Ax=(1113)x(8)\mathbf{x}^{\prime}=\mathbf{A} \mathbf{x}=\left(\begin{array}{rr} 1 & -1 \tag{8}\\ 1 & 3 \end{array}\right) \mathbf{x}

并绘制该系统相图

系统 (8) 的方向场如图 7.8.1 所示。从这张中可以看出,所有非零都偏离原点

7.8.1 系统 (8) 的方向场

为了解这个系统,观察到系数矩阵 A\mathbf{A}示例 1 中的矩阵相同。因此,我们知道 r=2r=2 是一个二重特征值,并且它只有一个对应的特征向量,我们可以取为 ξ=(1,1)T\boldsymbol{\xi}=(1,-1)^{T}。因此,系统 (8) 的一个

x(1)(t)=(11)e2t\begin{equation*} \mathbf{x}^{(1)}(t)=\binom{1}{-1} e^{2 t} \tag{9} \end{equation*}

但是,不存在形如x=ξert\mathbf{x}=\xi e^{r t}的第二个。基于第3.4节中二阶线性微分方程步骤,很自然地尝试寻找系统(8)的第二个线性无关解,形式如下:

x=ξte2t\begin{equation*} \mathbf{x}=\boldsymbol{\xi} t e^{2 t} \tag{10} \end{equation*}

其中ξ\boldsymbol{\xi}是一个待确定的常向量。将x\mathbf{x}代入方程(8),我们得到

2ξte2t+ξe2t=Aξte2t.\begin{equation*} 2 \boldsymbol{\xi} t e^{2 t}+\boldsymbol{\xi} e^{2 t}=\mathbf{A} \boldsymbol{\xi} t e^{2 t} . \tag{11} \end{equation*}

为了使方程(11)对所有tt都成立,必须等式方程(11)两边te2tt e^{2 t}e2te^{2 t}系数。从e2te^{2 t}中,我们发现

ξ=0.\begin{equation*} \xi=\mathbf{0} . \tag{12} \end{equation*}

因此,系统(8)不存在形如(10)的非零

由于方程(11)包含te2tt e^{2 t}e2te^{2 t},因此除了ξte2t\xi t e^{2 t}之外,第二个还必须包含一个形如ηe2t\eta e^{2 t};换句话说,我们需要假设

x=ξte2t+ηe2t\begin{equation*} \mathbf{x}=\boldsymbol{\xi} t e^{2 t}+\eta e^{2 t} \tag{13} \end{equation*}

其中ξ\boldsymbol{\xi}η\boldsymbol{\eta}是待确定的常向量。将x\mathbf{x}的这个表达式代入方程(8),我们得到

2ξte2t+(ξ+2η)e2t=A(ξte2t+ηe2t)\begin{equation*} 2 \boldsymbol{\xi} t e^{2 t}+(\boldsymbol{\xi}+2 \boldsymbol{\eta}) e^{2 t}=\mathbf{A}\left(\boldsymbol{\xi} t e^{2 t}+\eta e^{2 t}\right) \tag{14} \end{equation*}

等式方程(14)两边te2tt e^{2 t}e2te^{2 t}系数,得到确定ξ\boldsymbol{\xi}η\boldsymbol{\eta}的两个条件

2ξ=Aξ2 \xi=\mathbf{A} \xi

ξ+2η=Aη\xi+2 \boldsymbol{\eta}=\mathbf{A} \eta

将这些条件重写为以下形式是有帮助的:

(A2I)ξ=0\begin{equation*} (A-2 I) \xi=0 \tag{15} \end{equation*}

(A2I)η=ξ\begin{equation*} (\mathbf{A}-\mathbf{2 I}) \eta=\xi \tag{16} \end{equation*}

如果ξ\boldsymbol{\xi}A\mathbf{A}对应于特征值r=2r=2特征向量,例如ξ=(1,1)T\boldsymbol{\xi}=(1,-1)^{T},则方程(15)成立。由于det(A2I)\operatorname{det}(\mathbf{A}-2 \mathbf{I})为零,只有当右侧ξ\boldsymbol{\xi}满足特定条件时,方程(16)才可解。幸运的是,ξ\boldsymbol{\xi}及其倍数正是允许方程(16)被解的向量方程(16)的增广矩阵

(111111)\left(\begin{array}{rr|r} -1 & -1 & 1 \\ 1 & 1 & -1 \end{array}\right)

矩阵的第二与第一比例,因此该系统可解。我们有

η1η2=1,-\eta_{1}-\eta_{2}=1,

因此,如果η1=k\eta_{1}=k,其中kk是任意的,那么η2=k1\eta_{2}=-k-1。如果我们写

η=(k1k)=(01)+k(11),\begin{equation*} \eta=\binom{k}{-1-k}=\binom{0}{-1}+k\binom{1}{-1}, \tag{17} \end{equation*}

那么通过将ξ\boldsymbol{\xi}η\boldsymbol{\eta}代入方程(13),我们得到

x=ξte2t+ηe2t=(11)te2t+(01)e2t+k(11)e2t.\begin{equation*} \mathbf{x}=\boldsymbol{\xi} t e^{2 t}+\boldsymbol{\eta} e^{2 t}=\binom{1}{-1} t e^{2 t}+\binom{0}{-1} e^{2 t}+k\binom{1}{-1} e^{2 t} . \tag{18} \end{equation*}

方程(18)中的最后一仅仅是第一个x(1)(t)\mathbf{x}^{(1)}(t)倍数,可以忽略,但前两构成了一个新的

x(2)(t)=(11)te2t+(01)e2t\begin{equation*} \mathbf{x}^{(2)}(t)=\binom{1}{-1} t e^{2 t}+\binom{0}{-1} e^{2 t} \tag{19} \end{equation*}

一个简单的计算表明W[x(1),x(2)](t)=e4t0W\left[\mathbf{x}^{(1)}, \mathbf{x}^{(2)}\right](t)=-e^{4 t} \neq 0,因此x(1)\mathbf{x}^{(1)}x(2)\mathbf{x}^{(2)}构成了系统(8)的基本解集通解

x=c1x(1)(t)+c2x(2)(t)=c1(11)e2t+c2((11)te2t+(01)e2t).\begin{align*} \mathbf{x} & =c_{1} \mathbf{x}^{(1)}(t)+c_{2} \mathbf{x}^{(2)}(t) \\ & =c_{1}\binom{1}{-1} e^{2 t}+c_{2}\left(\binom{1}{-1} t e^{2 t}+\binom{0}{-1} e^{2 t}\right) . \tag{20} \end{align*}

(20)的相图的主要特征源于每个指数因子e2te^{2 t}的存在。因此,当tt \rightarrow-\infty时,x0\mathbf{x} \rightarrow \mathbf{0},并且除非c1c_{1}c2c_{2}都为零,否则当tt \rightarrow \infty时,x\mathbf{x}变得

[^5]无界。如果c1c_{1}c2c_{2}不都为零,那么沿着任何轨迹,我们有

limtx2(t)x1(t)=c1e2t+c2(te2te2t)c1e2t+c2te2t=limtc1c2tc2c1+c2t=1 \lim _{t \rightarrow-\infty} \frac{x_{2}(t)}{x_{1}(t)}=\frac{-c_{1} e^{2 t}+c_{2}\left(-t e^{2 t}-e^{2 t}\right)}{c_{1} e^{2 t}+c_{2} t e^{2 t}}=\lim _{t \rightarrow-\infty} \frac{-c_{1}-c_{2} t-c_{2}}{c_{1}+c_{2} t}=-1

因此,当 tt \rightarrow-\infty 时,每条轨迹都以与特征向量确定的直线 x2=x1x_{2}=-x_{1} 相切的方式趋近于原点;这种行为 7.8.2(a) 中清晰可见。此外,当 tt \rightarrow \infty 时,每条轨迹斜率也趋近于 -1。然而,可以证明,当 tt \rightarrow \infty 时,轨迹不会趋近于任何单个渐近线系统 (8) 的几条轨迹,包括 x(1)\mathbf{x}^{(1)}(实黑曲线)和 x(2)\mathbf{x}^{(2)}(虚黑曲线),如 7.8.2(a) 所示,以及 x1x_{1} 相对于 ttx2x_{2} 相对于 tt 的一些典型,分别如 7.8.2(b) 和 7.8.2(c) 所示。

7.8.2 (a) 系统 (8) 的相图原点是一个非正常结点。(b) 系统 (8) 中 x1x_{1} 相对于 tt。(c) 系统 (8) 中 x2x_{2} 相对于 tt。(b) 和 (c) 中的分量图根据 (a) 中的轨迹进行了颜色编码紫色曲线对应于通过 (-1, 1/2) 的红色通过 (-1, -1/2),绿色 (0, 1/2),橙色 (0, -1/2),蓝色 (1, 1/2),金色 (1, -1/2)。

7.8.2(a) 中的轨迹模式是具有相等特征值和只有一个独立特征向量2×22 \times 2 系统 x=Ax\mathbf{x}^{\prime}=\mathbf{A x} 的典型代表。在这种情况下,原点被称为非正常结点。如果特征值是负的,那么轨迹是相似的,但以向内方向遍历。非正常结点是渐近稳定的或不稳定的,取决于特征值是负的还是正的。

从前面的例子中可以明显看出,两个一阶方程组与单个二阶方程之间的一个区别。对于具有特征方程的重复 r1r_{1} 的二阶线性方程,不需要第二中的 cer1tc e^{r_{1} t},因为它与第一成倍数关系。另一方面,对于两个一阶方程组方程 (13) 中 r1=2r_{1}=2 ηer1t\boldsymbol{\eta} e^{r_{1} t} 通常不是第一 ξer1t\boldsymbol{\xi} e^{r_{1} t}倍数,因此必须保留 ηer1t\boldsymbol{\eta} e^{r_{1} t}

2 完全是当存在双重特征值和一个相关的特征向量时的典型例子。再次考虑系统 (1),假设 r=ρr=\rhoA\mathbf{A} 的双重特征值,但只有一个对应的特征向量 ξ\boldsymbol{\xi}。那么,一个类似于方程 (9) 的

x(1)(t)=ξeρt\begin{equation*} \mathbf{x}^{(1)}(t)=\boldsymbol{\xi} e^{\rho t} \tag{21} \end{equation*}

其中 ξ\boldsymbol{\xi} 满足

(AρI)ξ=0\begin{equation*} (\mathbf{A}-\rho \mathbf{I}) \boldsymbol{\xi}=\mathbf{0} \tag{22} \end{equation*}

按照 2 中介绍的过程,我们发现第二,类似于方程 (19),是

x(2)(t)=ξteρt+ηeρt\begin{equation*} \mathbf{x}^{(2)}(t)=\boldsymbol{\xi} t e^{\rho t}+\eta e^{\rho t} \tag{23} \end{equation*}

其中 ξ\boldsymbol{\xi} 满足方程 (22),η\boldsymbol{\eta} 由下式确定

(AρI)η=ξ\begin{equation*} (\mathbf{A}-\rho \mathbf{I}) \boldsymbol{\eta}=\boldsymbol{\xi} \tag{24} \end{equation*}

即使 det(AρI)=0\operatorname{det}(\mathbf{A}-\rho \mathbf{I})=0,也可以证明总是可以解出方程 (24) 得到 η\boldsymbol{\eta}。虽然我们不会展示所有的细节,但重要的一个步骤是注意到,如果我们用 AρI\mathbf{A}-\rho \mathbf{I} 乘以方程 (24) 并使用方程 (22),那么我们得到

(AρI)2η=0(\mathbf{A}-\rho \mathbf{I})^{2} \boldsymbol{\eta}=\mathbf{0}

向量 η\boldsymbol{\eta} 称为矩阵 A\mathbf{A} 对应于特征值 ρ\rho 的广义特征向量

基本矩阵。正如第 7.7 所解释的,基本矩阵是通过将线性无关的排列在中形成的。因此,例如,系统 (8) 的基本矩阵可以由方程 (9) 和 (19) 中的 x(1)(t)\mathbf{x}^{(1)}(t)x(2)(t)\mathbf{x}^{(2)}(t) 分别构成:

Ψ(t)=(e2tte2te2tte2te2t)=e2t(1t11t)(25)\Psi(t)=\left(\begin{array}{cc} e^{2 t} & t e^{2 t} \tag{25}\\ -e^{2 t} & -t e^{2 t}-e^{2 t} \end{array}\right)=e^{2 t}\left(\begin{array}{cc} 1 & t \\ -1 & -1-t \end{array}\right)

满足 Φ(0)=I\boldsymbol{\Phi}(0)=\mathbf{I} 的特定基本矩阵 Φ\boldsymbol{\Phi} 也可以很容易地从关系式 Φ(t)=Ψ(t)Ψ1(0)\Phi(t)=\Psi(t) \Psi^{-1}(0) 中找到。从方程 (25),我们有

Ψ(0)=(1011) 使得 Ψ1(0)=(1011)(26)\Psi(0)=\left(\begin{array}{rr} 1 & 0 \tag{26}\\ -1 & -1 \end{array}\right) \quad \text { 使得 } \quad \Psi^{-1}(0)=\left(\begin{array}{rr} 1 & 0 \\ -1 & -1 \end{array}\right)

然后

Φ(t)=Ψ(t)Ψ1(0)=e2t(1t11t)(1011)=e2t(1ttt1+t)\begin{align*} \Phi(t)=\boldsymbol{\Psi}(t) \Psi^{-1}(0) & =e^{2 t}\left(\begin{array}{cc} 1 & t \\ -1 & -1-t \end{array}\right)\left(\begin{array}{rr} 1 & 0 \\ -1 & -1 \end{array}\right) \\ & =e^{2 t}\left(\begin{array}{cc} 1-t & -t \\ t & 1+t \end{array}\right) \tag{27} \end{align*}

回想一下,满足 Φ(0)=I\boldsymbol{\Phi}(0)=\mathbf{I}基本矩阵 Φ(t)\boldsymbol{\Phi}(t) 也可以写成 exp(At)\exp (\mathbf{A} t)。对于 2 中的矩阵 A\mathbf{A}方程 x=Ax\mathbf{x}^{\prime}=\mathbf{A} \mathbf{x}x(0)=x0\mathbf{x}(0)=\mathbf{x}^{0} 条件下的x(t)=exp(At)x0\mathbf{x}(t)=\exp (\mathbf{A} t) \mathbf{x}^{0},或者 x(t)=Φ(t)x0\mathbf{x}(t)=\boldsymbol{\Phi}(t) \mathbf{x}^{0},其中 Φ(t)\boldsymbol{\Phi}(t)方程 (27) 给出。

Jordan 范式。正如第 7.7 讨论的,一个 n×nn \times n 矩阵 A 可以对角化,仅当它具有 nn 个线性无关的特征向量的完全补集时。如果特征向量短缺(因为存在重复的特征值),则 A\mathbf{A} 总是可以变换成一个近乎对角的矩阵,称为其 Jordan 8{ }^{8} 范式,它在主对角线上有 A\mathbf{A}特征值,在主对角线上方的某些位置有 1,其他位置为零。

[^6]再次考虑由方程 (2) 给出的矩阵 A\mathbf{A}。为了将 A\mathbf{A} 变换为它的 Jordan 范式,我们构造变换矩阵 T\mathbf{T},其第一方程 (6) 中的单个特征向量 ξ\boldsymbol{\xi},第二方程 (17) 中当 k=0k=0 时的广义特征向量 η\boldsymbol{\eta}。那么 T\mathbf{T} 及其逆矩阵由下式给出

T=(1011) 和 T1=(1011)(28)\mathbf{T}=\left(\begin{array}{rr} 1 & 0 \tag{28}\\ -1 & -1 \end{array}\right) \quad \text { 和 } \quad \mathbf{T}^{-1}=\left(\begin{array}{rr} 1 & 0 \\ -1 & -1 \end{array}\right)

你可以验证,结果

T1AT=(2102)=J(29)\mathbf{T}^{-1} \mathbf{A} \mathbf{T}=\left(\begin{array}{ll} 2 & 1 \tag{29}\\ 0 & 2 \end{array}\right)=\mathbf{J}

方程 (29) 中的矩阵 J\mathbf{J} 是 A 的 Jordan 范式。它是所有 Jordan 范式的典型代表,在对应于缺少特征向量(并在 T\mathbf{T} 中被广义特征向量替换)的主对角线上方有一个 1。

如果我们再次从方程 (1) 出发

x=Ax\mathbf{x}^{\prime}=\mathbf{A} \mathbf{x}

变换 x=Ty\mathbf{x}=\mathbf{T y},其中 T\mathbf{T}方程 (28) 给出,产生系统

y=Jy\begin{equation*} \mathbf{y}^{\prime}=\mathbf{J y} \tag{30} \end{equation*}

其中 J\mathbf{J}方程 (29) 给出。用标量形式表示,系统 (30) 是

y1=2y1+y2,y2=2y2.\begin{equation*} y_{1}^{\prime}=2 y_{1}+y_{2}, \quad y_{2}^{\prime}=2 y_{2} . \tag{31} \end{equation*}

这些方程可以按相反的顺序容易地解出 - 也就是从 y2y_{2}方程开始。这样,我们得到

y2(t)=c1e2t 和 y1(t)=c1te2t+c2e2t.\begin{equation*} y_{2}(t)=c_{1} e^{2 t} \quad \text { 和 } \quad y_{1}(t)=c_{1} t e^{2 t}+c_{2} e^{2 t} . \tag{32} \end{equation*}

因此,系统 (30) 的两个独立

y(1)(t)=(10)e2t 和 y(2)(t)=(t1)e2t\begin{equation*} \mathbf{y}^{(1)}(t)=\binom{1}{0} e^{2 t} \quad \text { 和 } \quad \mathbf{y}^{(2)}(t)=\binom{t}{1} e^{2 t} \tag{33} \end{equation*}

并且相应的基本矩阵

Ψ^(t)=(e2tte2t0e2t)(34)\hat{\Psi}(t)=\left(\begin{array}{rr} e^{2 t} & t e^{2 t} \tag{34}\\ 0 & e^{2 t} \end{array}\right)

由于 Ψ^(0)=I\hat{\mathbf{\Psi}}(0)=\mathbf{I},我们也可以将方程 (34) 中的矩阵识别为 exp(Jt)\exp (\mathbf{J} t)。通过计算 J\mathbf{J}并将它们代入指数级数也可以得到相同的结果(参见问题 19 至 21)。为了获得原始系统基本矩阵,我们现在形成乘积

Ψ(t)=Texp(Jt)=(e2tte2te2te2tte2t)(35)\Psi(t)=\mathbf{T} \exp (\mathbf{J} t)=\left(\begin{array}{cc} e^{2 t} & t e^{2 t} \tag{35}\\ -e^{2 t} & -e^{2 t}-t e^{2 t} \end{array}\right)

这与方程 (25) 中给出的基本矩阵相同。

我们不会在这里更详细地讨论 n×nn \times n 系统 x=Ax\mathbf{x}^{\prime}=\mathbf{A x}。对于大的 nn,可能存在代数重数 mm 很高的特征值几何重数 qq 可能低得多,因此会产生 mqm-q广义特征向量问题 17 和 18 探讨了 Jordan 范式在三个微分方程组中的使用。对于 n4n \geq 4,也可能存在重复的复特征值。对一般 n×nn \times n 矩阵Jordan 范式的完整讨论 9{ }^{9} 需要比本书大多数读者所假定的线性代数知识更深的背景

[^7]对于一个一般的 n×nn \times n 系统,即使 nn 不大于 3 或 4,手动分析所需的计算量也可能是令人望而却步的。因此,在大多数情况下,应该常规地使用合适的计算机软件。这并不能克服所有的困难,但它确实使许多问题更容易处理。最后,对于一组由物理系统建模产生的方程系数矩阵 A\mathbf{A} 中的某些元素很可能是通过测量某些物理量得到的。这些测量中不可避免的不确定性会导致 A\mathbf{A}特征值不确定性。例如,在这种情况下,可能无法明确两个特征值是否真正相等,或者仅仅是彼此非常接近。

问题

问题 1 到 3 中:

a. 画出方向场并绘制一些轨迹

G b. 描述当 tt \rightarrow \infty 时,行为

c. 求出方程组通解

  1. x=(3411)x\mathbf{x}^{\prime}=\left(\begin{array}{ll}3 & -4 \\ 1 & -1\end{array}\right) \mathbf{x}

  2. x=(4284)x\mathbf{x}^{\prime}=\left(\begin{array}{ll}4 & -2 \\ 8 & -4\end{array}\right) \mathbf{x}

  3. x=(3211412)x\mathbf{x}^{\prime}=\left(\begin{array}{rr}-\frac{3}{2} & 1 \\ -\frac{1}{4} & -\frac{1}{2}\end{array}\right) \mathbf{x}

问题 4 和 5 中,求出给定方程组通解

  1. x=(111211011)x\mathbf{x}^{\prime}=\left(\begin{array}{rrr}1 & 1 & 1 \\ 2 & 1 & -1 \\ 0 & -1 & 1\end{array}\right) \mathbf{x}

  2. x=(011101110)x\mathbf{x}^{\prime}=\left(\begin{array}{lll}0 & 1 & 1 \\ 1 & 0 & 1 \\ 1 & 1 & 0\end{array}\right) \mathbf{x}

问题 6 到 8 中:

a. 求出给定初值问题

b. 在 x1x2x_{1} x_{2}-平面上绘制轨迹,并绘制 x1x_{1} 相对于 tt

  1. x=(1447)x,x(0)=(32)\mathbf{x}^{\prime}=\left(\begin{array}{ll}1 & -4 \\ 4 & -7\end{array}\right) \mathbf{x}, \quad \mathbf{x}(0)=\binom{3}{2}

  2. x=(52323212)x,x(0)=(31)\mathbf{x}^{\prime}=\left(\begin{array}{rr}-\frac{5}{2} & \frac{3}{2} \\ -\frac{3}{2} & \frac{1}{2}\end{array}\right) \mathbf{x}, \quad \mathbf{x}(0)=\binom{3}{-1}

  3. x=(3913)x,x(0)=(24)\mathbf{x}^{\prime}=\left(\begin{array}{rr}3 & 9 \\ -1 & -3\end{array}\right) \mathbf{x}, \quad \mathbf{x}(0)=\binom{2}{4}

问题 9 和 10 中:

a. 求出给定初值问题

(G) b. 在 x1x2x3x_{1} x_{2} x_{3}-空间中绘制相应的轨迹

c. 绘制 x1x_{1} 相对于 tt

  1. x=(100410362)x,x(0)=(1230)\mathbf{x}^{\prime}=\left(\begin{array}{rll}1 & 0 & 0 \\ -4 & 1 & 0 \\ 3 & 6 & 2\end{array}\right) \mathbf{x}, \quad \mathbf{x}(0)=\left(\begin{array}{r}-1 \\ 2 \\ -30\end{array}\right)

  2. x=(521115211152)x,x(0)=(231)\mathbf{x}^{\prime}=\left(\begin{array}{rrr}-\frac{5}{2} & 1 & 1 \\ 1 & -\frac{5}{2} & 1 \\ 1 & 1 & -\frac{5}{2}\end{array}\right) \mathbf{x}, \quad \mathbf{x}(0)=\left(\begin{array}{r}2 \\ 3 \\ -1\end{array}\right)

问题 11 和 12 中,通过第 7.5 节问题 13 的方法求解给定的方程组。假设 t>0t>0

  1. tx=(3411)xt \mathbf{x}^{\prime}=\left(\begin{array}{ll}3 & -4 \\ 1 & -1\end{array}\right) \mathbf{x}

  2. tx=(1447)xt \mathbf{x}^{\prime}=\left(\begin{array}{ll}1 & -4 \\ 4 & -7\end{array}\right) \mathbf{x}

  3. 证明系统

x=(abcd)x \mathbf{x}^{\prime}=\left(\begin{array}{ll} a & b \\ c & d \end{array}\right) \mathbf{x}

的所有tt \rightarrow \infty 时趋于零,当且仅当 a+d<0a+d<0adbc>0a d-b c>0。将此结果与第 3.4 中的问题 28 进行比较。

  1. 再次考虑第 7.6 节问题 21 中的电路。该电路微分方程组描述

ddt(IV)=(01L1C1RC)(IV) \frac{d}{d t}\binom{I}{V}=\left(\begin{array}{cc} 0 & \frac{1}{L} \\ -\frac{1}{C} & -\frac{1}{R C} \end{array}\right)\binom{I}{V}

a. 证明如果 L=4R2CL=4 R^{2} C,则特征值实数且相等。

b. 假设 R=1Ω,C=1 FR=1 \Omega, C=1 \mathrm{~F}, 并且 L=4HL=4 \mathrm{H}。还假设 I(0)=1 AI(0)=1 \mathrm{~A} 并且 V(0)=2 VV(0)=2 \mathrm{~V}。求 I(t)I(t)V(t)V(t)

  1. 再次考虑系统

x=Ax=(1113)x(36) \mathbf{x}^{\prime}=\mathbf{A} \mathbf{x}=\left(\begin{array}{rr} 1 & -1 \tag{36}\\ 1 & 3 \end{array}\right) \mathbf{x}

我们在 2 中讨论过。我们在那里发现 A\mathbf{A} 有一个二重特征值 r1=r2=2r_{1}=r_{2}=2,只有一个线性无关特征向量 ξ(1)=(1,1)T\boldsymbol{\xi}^{(1)}=(1,-1)^{T},或者任何非零倍数。因此,系统 (36) 的一个x(1)(t)=ξ(1)e2t\mathbf{x}^{(1)}(t)=\boldsymbol{\xi}^{(1)} e^{2 t},而第二个线性无关形式

x(2)(t)=ξte2t+ηe2t \mathbf{x}^{(2)}(t)=\xi t e^{2 t}+\boldsymbol{\eta} e^{2 t}

其中 ξ\boldsymbol{\xi}η\boldsymbol{\eta} 满足

(A2I)ξ=0,(A2I)η=ξ \begin{equation*} (\mathbf{A}-2 \mathbf{I}) \boldsymbol{\xi}=\mathbf{0}, \quad(\mathbf{A}-2 \mathbf{I}) \boldsymbol{\eta}=\boldsymbol{\xi} \tag{37} \end{equation*}

正文中,我们先解第一个方程得到ξ\boldsymbol{\xi},然后解第二个方程得到η\boldsymbol{\eta}。在这里,我们要求你按相反的顺序进行。

a. 证明 η\boldsymbol{\eta} 满足 (A2I)2η=0(\mathbf{A}-2 \mathbf{I})^{2} \boldsymbol{\eta}=\mathbf{0}

b. 证明 (A2I)2=0(\mathbf{A}-2 \mathbf{I})^{2}=\mathbf{0}。因此,广义特征向量η\eta可以任意选择,但必须与ξ(1)\xi^{(1)}线性无关

c. 设 η=(0,1)T\boldsymbol{\eta}=(0,-1)^{T}。然后从方程(37)的第二个方程确定ξ\boldsymbol{\xi},并观察到ξ=(1,1)T=ξ(1)\boldsymbol{\xi}=(1,-1)^{T}=\boldsymbol{\xi}^{(1)}η\boldsymbol{\eta}的这种选择重现了2中的

d. 设 η=(1,0)T\eta=(1,0)^{T} 并确定相应的特征向量 ξ\xi

e. 设 η=(k1,k2)T\boldsymbol{\eta}=\left(k_{1}, k_{2}\right)^{T},其中k1k_{1}k2k_{2}是任意k1k_{1}k2k_{2}满足什么条件才能确保η\etaξ(1)\boldsymbol{\xi}^{(1)}线性无关?然后确定ξ\boldsymbol{\xi}。它与特征向量ξ(1)\boldsymbol{\xi}^{(1)}有什么关系

  1. 2中,当A\mathbf{A}由上面的公式(36)给出时,声称即使矩阵A2I\mathbf{A}-2 \mathbf{I}是奇异的,方程(16)也是可解的。这个问题证明了这一说法

a. 求出A\mathbf{A}^{*}的所有特征值特征向量,其中A\mathbf{A}^{*}A\mathbf{A}伴随矩阵

b. 证明A\mathbf{A}特征向量A\mathbf{A}^{*}的相应特征向量是正交的。

c. 解释一下为什么这证明了方程(16)是可解的。

重数为3的特征值。如果矩阵A\mathbf{A}有一个代数重数为3的特征值,那么可能有一个、两个或三个相应的线性无关特征向量系统x=Ax\mathbf{x}^{\prime}=\mathbf{A x}通解是不同的,这取决于与三重特征值相关的特征向量数量。正如文中指出的,如果有三个特征向量,则不存在困难,因为那样就有三个x=ξert\mathbf{x}=\boldsymbol{\xi} e^{r t}形式独立解。以下两个问题分别说明了具有一个或两个特征向量的三重特征值求解过程

17. 考虑系统

x=Ax=(111211324)x(38) \mathbf{x}^{\prime}=\mathbf{A} \mathbf{x}=\left(\begin{array}{rrr} 1 & 1 & 1 \tag{38}\\ 2 & 1 & -1 \\ -3 & 2 & 4 \end{array}\right) \mathbf{x}

a. 证明r=2r=2系数矩阵A\mathbf{A}代数重数为3的特征值,并且只有一个对应的特征向量,即

ξ(1)=(011) \boldsymbol{\xi}^{(1)}=\left(\begin{array}{r} 0 \\ 1 \\ -1 \end{array}\right)

b. 使用a部分的信息,写下系统(38)的一个x(1)(t)\mathbf{x}^{(1)}(t)。不存在x=ξert\mathbf{x}=\boldsymbol{\xi} e^{r t}形式纯指数形式的其他

c. 为了找到第二个,假设x=ξte2t+ηe2t\mathbf{x}=\xi t e^{2 t}+\eta e^{2 t}。证明ξ\boldsymbol{\xi}η\boldsymbol{\eta}满足方程

(A2I)ξ=0,(A2I)η=ξ (\mathbf{A}-2 \mathbf{I}) \boldsymbol{\xi}=\mathbf{0}, \quad(\mathbf{A}-2 \mathbf{I}) \boldsymbol{\eta}=\boldsymbol{\xi}

由于ξ\boldsymbol{\xi}已经在a部分中找到,因此求解第二个方程得到η\boldsymbol{\eta}。忽略η\boldsymbol{\eta}中出现的ξ(1)\boldsymbol{\xi}^{(1)}倍数,因为它只会导致第一个x(1)\mathbf{x}^{(1)}倍数。然后写下系统(38)的第二个x(2)(t)\mathbf{x}^{(2)}(t)

d. 为了找到第三个,假设

x=ξt22e2t+ηte2t+ζe2t \mathbf{x}=\boldsymbol{\xi} \frac{t^{2}}{2} e^{2 t}+\eta t e^{2 t}+\zeta e^{2 t}

证明ξ\boldsymbol{\xi}η\boldsymbol{\eta}ζ\boldsymbol{\zeta}满足方程

(\mathbf{A}-2 \mathbf{I}) \boldsymbol{\xi}=\mathbf{0}, \quad(\mathbf{A}-2 \mathbf{I}) \boldsymbol{\eta}=\boldsymbol{\xi}, \quad(\mathbf{A}-2 \mathbf{I}) \zeta=\eta

前两个**方程**与c部分中的相同,因此求解第三个**方程**得到$\boldsymbol{\zeta}$,再次忽略出现的$\boldsymbol{\xi}^{(1)}$的**倍数**。然后写下**系统**(38)的第三个**解**$\mathbf{x}^{(3)}(t)$。 e. 写下**系统**(38)的**基本矩阵**$\boldsymbol{\Psi}(t)$。 f. 形成一个**矩阵**$\mathbf{T}$,其中第一**列**是**特征向量**$\boldsymbol{\xi}^{(1)}$,第二**列**和第三**列**是**广义特征向量**$\boldsymbol{\eta}$和$\zeta$。然后找到$\mathbf{T}^{-1}$并形成**乘积**$\mathbf{J}=\mathbf{T}^{-1} \mathbf{A T}$。**矩阵**$\mathbf{J}$是$\mathbf{A}$的**约旦标准型**。 18. 考虑**系统**

\mathbf{x}^{\prime}=\mathbf{A} \mathbf{x}=\left(\begin{array}{rrr}

5 & -3 & -2 \tag{39}\

8 & -5 & -4 \

-4 & 3 & 3

\end{array}\right) \mathbf{x}

a. 证明$r=1$是**系数矩阵**$\mathbf{A}$的三重**特征值**,并且只有两个线性无关的**特征向量**,我们可以将其视为

\xi^{(1)}=\left(\begin{array}{l}

1 \tag{40}\

0 \

2

\end{array}\right), \quad \xi^{(2)}=\left(\begin{array}{r}

0 \

2 \

-3

\end{array}\right)

写出**方程** (39) 的两个线性无关的**解** $\mathbf{x}^{(1)}(t)$ 和 $\mathbf{x}^{(2)}(t)$。 b. 为了找到第三个**解**,假设 $\mathbf{x}=\boldsymbol{\xi} t e^{t}+\eta e^{t}$;然后证明 $\boldsymbol{\xi}$ 和 $\boldsymbol{\eta}$ 必须满足

\begin{align*}

& (\mathbf{A}-\mathbf{I}) \boldsymbol{\xi}=\mathbf{0}, \tag{41}\

& (\mathbf{A}-\mathbf{I}) \boldsymbol{\eta}=\boldsymbol{\xi} . \tag{42}

\end{align*}

c. 如果 $\boldsymbol{\xi}$ 是一个**特征向量**,则**方程** (41) 成立,所以一种**方法**是选择 $\boldsymbol{\xi}$ 为 $\boldsymbol{\xi}^{(1)}$ 和 $\boldsymbol{\xi}^{(2)}$ 的合适的**线性组合**,使得**方程** (42) 可解,然后求解该**方程**得到 $\boldsymbol{\eta}$。 然而,让我们用不同的**方法**,并遵循**问题** 15 的**模式**。首先,证明 $\boldsymbol{\eta}$ 满足

(\mathbf{A}-\mathbf{I})^{2} \eta=\mathbf{0}

进一步,证明 $(\mathbf{A}-\mathbf{I})^{2}=\mathbf{0}$。 因此,$\boldsymbol{\eta}$ 可以任意选择,只是它必须独立于 $\boldsymbol{\xi}^{(1)}$ 和 $\boldsymbol{\xi}^{(2)}$。 d. 对于 $\boldsymbol{\eta}$ 的一个方便的**选择**是 $\boldsymbol{\eta}=(0,0,1)^{T}$。 从**方程** (42) 找到对应的 $\boldsymbol{\xi}$。 验证 $\boldsymbol{\xi}$ 是 $\mathbf{A}$ 的一个**特征向量**。 e. 写出**系统** (39) 的一个**基本矩阵** $\boldsymbol{\Psi}(t)$。 f. 形成一个**矩阵** $\mathbf{T}$,其第一**列**是**特征向量** $\boldsymbol{\xi}^{(1)}$,其他两**列**分别是来自 d 部分的**特征向量** $\boldsymbol{\xi}$ 和**广义特征向量** $\boldsymbol{\eta}$。 找到 $\mathbf{T}^{-1}$ 并形成**乘积** $\mathbf{J}=\mathbf{T}^{-1} \mathbf{A T}$。 **矩阵** $\mathbf{J}$ 是 $\mathbf{A}$ 的 Jordan **标准型**。 19. 设 $\mathbf{J}=\left(\begin{array}{cc}\lambda & 1 \\ 0 & \lambda\end{array}\right)$,其中 $\lambda$ 是任意**实数**。 a. 找到 $\mathbf{J}^{2}, \mathbf{J}^{3}$, 和 $\mathbf{J}^{4}$。 b. 使用归纳法证明 $\mathbf{J}^{n}=\left(\begin{array}{cc}\lambda^{n} & n \lambda^{n-1} \\ 0 & \lambda^{n}\end{array}\right)$。 c. 确定 $\exp (\mathbf{J} t)$。 d. 使用 $\exp (\mathbf{J} t)$ 求解**初值问题** $\mathbf{x}^{\prime}=\mathbf{J x}$,$\mathbf{x}(0)=\mathbf{x}^{0}$。 20. 设

\mathbf{J}=\left(\begin{array}{ccc}

\lambda & 0 & 0 \

0 & \lambda & 1 \

0 & 0 & \lambda

\end{array}\right)

其中 $\lambda$ 是任意**实数**。 a. 找到 $\mathbf{J}^{2}, \mathbf{J}^{3}$, 和 $\mathbf{J}^{4}$。 b. 使用归纳法证明

\mathbf{J}^{n}=\left(\begin{array}{ccc}

\lambda^{n} & 0 & 0 \

0 & \lambda^{n} & n \lambda^{n-1} \

0 & 0 & \lambda^{n}

\end{array}\right)

c. 确定 $\exp (\mathbf{J} t)$。 d. 观察到,如果您选择 $\lambda=1$,那么此**问题**中的**矩阵** $\mathbf{J}$ 与**问题** 18f 中的**矩阵** $\mathbf{J}$ 相同。使用**问题** 18f 中的**矩阵** $\mathbf{T}$,形成**乘积** $\mathbf{T} \exp (\mathbf{J} t)$,其中 $\lambda=1$。 e. **结果矩阵**与**问题** 18e 中的**基本矩阵** $\Psi(t)$ 相同吗? 如果不是,请解释**差异**。 21. 设

\mathbf{J}=\left(\begin{array}{ccc}

\lambda & 1 & 0 \

0 & \lambda & 1 \

0 & 0 & \lambda

\end{array}\right)

其中 $\lambda$ 是任意**实数**。 a. 找到 $\mathbf{J}^{2}, \mathbf{J}^{3}$, 和 $\mathbf{J}^{4}$。 b. 使用归纳法证明

\mathbf{J}^{n}=\left(\begin{array}{ccc}

\lambda^{n} & n \lambda^{n-1} & \frac{1}{2} n(n-1) \lambda^{n-2} \

0 & \lambda^{n} & n \lambda^{n-1} \

0 & 0 & \lambda^{n}

\end{array}\right)

c. 确定 $\exp (\mathbf{J} t)$. d. 注意到如果你选择 $\lambda=2$,那么此**问题**中的**矩阵** $\mathbf{J}$ 与**问题** 17f 中的**矩阵** $\mathbf{J}$ 相同。使用**问题** 17f 中的**矩阵** $\mathbf{T}$,构建**乘积** $\mathbf{T} \exp (\mathbf{J} t)$,其中 $\lambda=2$。得到的**矩阵**与**问题** 17e 中的**基解矩阵** $\boldsymbol{\Psi}(t)$ 相同。如果不是,解释**差异**。 请提供需要处理的**内容**,我将保持原有**格式**地用 "**" 为**名词**加粗,**符号公式**不加粗。